Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
761	SOMA Analytics Data Scientist (full-time) Add to Reading List Source URL: www.soma-analytics.com Language: English - Date: 2015-01-15 05:47:54 Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Soma Machine learning Visualization Science Knowledge Learning
762	Deep Learning for Efficient Discriminative Parsing Ronan Collobert† IDIAP Research Institute Martigny, Switzerland Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2011-08-19 08:16:47 Science Formal languages Compiler construction Parsing LL parser Parse tree Natural language processing Formal grammar Treebank Computational linguistics Information science Linguistics
763	OFFICE OF THE MAYOR POSITION AVAILABLE – INNOVATION TEAM DATA SCIENTIST OPPORTUNITY TO INNOVATE The City of Los Angeles was one of 14 cities selected to participate in Bloomberg Philanthropies’ Innovation Teams progr Add to Reading List Source URL: per.lacity.org Language: English - Date: 2015-05-06 17:51:44 Innovation Analytics Knowledge Geography of California Formal sciences Science Los Angeles
764	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
765	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Formal languages Compiler construction Parsing Programming language implementation Programming language Syntax Compiler-compiler Memoization Formal grammar Computing Software engineering Computer programming
766	1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Software development Science Model-based testing Formal verification Model checking Software verification Verification and validation Software development process Construction and Analysis of Distributed Processes Software testing Formal methods Theoretical computer science
767	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
768	CONSULTANCY TRANSFORMATION Design and Implementation A project based service, encompassing analysis, design, Add to Reading List Source URL: www.centralis.co.uk Language: English - Date: 2014-04-02 12:44:54 Software testing Science Software project management Method engineering IBM Rational Unified Process Software development process Acceptance testing Information Technology Infrastructure Library Project delivery method Formal methods Software development Information technology management
769	edition 3 / JUNEE T A D Add to Reading List Source URL: www.spss.ch Language: English - Date: 2013-06-01 05:19:07 Data management Formal sciences Data analysis SPSS Natural language processing Text mining ADAPA Data mining Analytics Statistics Business intelligence Science
770	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics

UPDATE